two-way time meaning in English
双程时间
Examples
- It introduces by form the conception of event - clock automata and two - way timed automata , it gives the construction from event - clock automata to two - way timed automata and it proves the inclusion relationship between them
基于时间自动机不同模型的验证被工业界广泛应用,本文形式描述了两种这样的模型,给出了从事件时钟自动机到双向时间自动机的构造方法,证明了二者识别语言之间的包含关系。